1.0 !<directed>(B,A) v !<directed>(C,B) v <actedIn>(C,A)
1.0 !<hasChild>(A,B) v !<directed>(C,B) v <actedIn>(C,A)
1.0 !<directed>(B,A) v <actedIn>(B,A)
1.0 !<directed>(B,A) v <created>(B,A)
1.0 !<directed>(B,A) v !<directed>(C,B) v <created>(C,A)
1.0 !<isLocatedIn>(A,B) v !<livesIn>(B,C) v <dealsWith>(C,A)
1.0 !<isLocatedIn>(A,B) v <dealsWith>(B,A)
1.0 !<actedIn>(B,A) v !<worksAt>(C,B) v <diedIn>(C,A)
1.0 !<created>(B,A) v !<created>(C,B) v <directed>(C,A)
1.0 !<created>(B,A) v <directed>(B,A)
1.0 !<dealsWith>(B,A) v <edited>(B,A)
1.0 !<dealsWith>(B,A) v !<isCitizenOf>(B,C) v <edited>(C,A)
1.0 !<hasNeighbor>(B,A) v !<livesIn>(B,C) v <exports>(C,A)
1.0 !<hasAcademicAdvisor>(B,A) v !<hasAcademicAdvisor>(C,B) v <graduatedFrom>(C,A)
1.0 !<participatedIn>(A,B) v <happenedIn>(B,A)
1.0 !<participatedIn>(A,B) v !<happenedIn>(C,B) v <happenedIn>(C,A)
1.0 !<influences>(A,B) v <hasAcademicAdvisor>(B,A)
1.0 !<influences>(A,B) v !<influences>(B,C) v <hasAcademicAdvisor>(C,A)
1.0 !<isPoliticianOf>(A,B) v <hasCapital>(B,A)
1.0 !<isPoliticianOf>(A,B) v !<isPoliticianOf>(B,C) v <hasCapital>(C,A)
1.0 !<isMarriedTo>(B,A) v <hasChild>(B,A)
1.0 !<hasChild>(B,A) v !<isMarriedTo>(C,B) v <hasChild>(C,A)
1.0 !<isLocatedIn>(A,B) v !<dealsWith>(C,B) v <hasCurrency>(C,A)
1.0 !<actedIn>(B,A) v !<isAffiliatedTo>(C,B) v <hasGender>(C,A)
1.0 !<actedIn>(B,A) v !<hasAcademicAdvisor>(C,B) v <hasGender>(C,A)
1.0 !<hasAcademicAdvisor>(A,B) v !<isMarriedTo>(C,B) v <hasMusicalRole>(C,A)
1.0 !<hasNeighbor>(A,B) v <hasNeighbor>(B,A)
1.0 !<isLocatedIn>(A,B) v !<hasNeighbor>(B,C) v <hasNeighbor>(C,A)
1.0 !<dealsWith>(B,A) v !<livesIn>(B,C) v <hasOfficialLanguage>(C,A)
1.0 !<livesIn>(A,B) v <hasOfficialLanguage>(B,A)
1.0 !<dealsWith>(B,A) v !<isCitizenOf>(B,C) v <hasWebsite>(C,A)
1.0 !<hasAcademicAdvisor>(A,B) v !<hasChild>(B,C) v <hasWonPrize>(C,A)
1.0 !<dealsWith>(B,A) v !<livesIn>(B,C) v <imports>(C,A)
1.0 !<hasAcademicAdvisor>(A,B) v !<influences>(C,B) v <influences>(C,A)
1.0 !<isLocatedIn>(A,B) v !<hasChild>(C,B) v <isAffiliatedTo>(C,A)
1.0 !<hasChild>(B,A) v <isAffiliatedTo>(B,A)
1.0 !<created>(B,A) v !<worksAt>(C,B) v <isCitizenOf>(C,A)
1.0 !<isConnectedTo>(A,B) v <isConnectedTo>(B,A)
1.0 !<isLocatedIn>(A,B) v !<isConnectedTo>(B,C) v <isConnectedTo>(C,A)
1.0 !<hasChild>(A,B) v !<directed>(C,B) v <isInterestedIn>(C,A)
1.0 !<hasChild>(A,B) v !<isKnownFor>(C,B) v <isInterestedIn>(C,A)
1.0 !<hasChild>(A,B) v !<isLeaderOf>(C,B) v <isInterestedIn>(C,A)
1.0 !<hasAcademicAdvisor>(B,A) v <isKnownFor>(B,A)
1.0 !<graduatedFrom>(B,A) v !<isLeaderOf>(C,B) v <isLeaderOf>(C,A)
1.0 !<isLeaderOf>(B,A) v <isLeaderOf>(B,A)
1.0 !<edited>(A,B) v !<isLeaderOf>(B,C) v <isLocatedIn>(C,A)
1.0 !<edited>(A,B) v <isLocatedIn>(B,A)
1.0 !<isMarriedTo>(A,B) v <isMarriedTo>(B,A)
1.0 !<isMarriedTo>(A,B) v !<isMarriedTo>(B,C) v <isMarriedTo>(C,A)
1.0 !<isPoliticianOf>(B,A) v !<isLeaderOf>(C,B) v <isPoliticianOf>(C,A)
1.0 !<isCitizenOf>(B,A) v !<livesIn>(C,B) v <livesIn>(C,A)
1.0 !<isCitizenOf>(B,A) v <livesIn>(B,A)
1.0 !<owns>(B,A) v !<owns>(C,B) v <owns>(C,A)
1.0 !<owns>(B,A) v <owns>(B,A)
1.0 !<hasNeighbor>(B,A) v !<happenedIn>(B,C) v <participatedIn>(C,A)
1.0 !<happenedIn>(A,B) v <participatedIn>(B,A)
1.0 !<isLocatedIn>(A,B) v !<isAffiliatedTo>(C,B) v <playsFor>(C,A)
1.0 !<isAffiliatedTo>(B,A) v <playsFor>(B,A)
1.0 !<actedIn>(B,A) v !<hasChild>(B,C) v <wasBornIn>(C,A)
1.0 !<isLocatedIn>(A,B) v !<hasAcademicAdvisor>(B,C) v <worksAt>(C,A)
1.0 !<hasAcademicAdvisor>(A,B) v <worksAt>(B,A)
1.0 !<created>(B,A) v !<created>(C,B) v <wroteMusicFor>(C,A)
1.0 !<created>(B,A) v <wroteMusicFor>(B,A)
1.0 !<edited>(A,B) v !<edited>(B,C) v <actedIn>(A,C)
1.0 !<edited>(A,B) v <actedIn>(A,B)
1.0 !<actedIn>(A,B) v !<directed>(B,C) v <created>(A,C)
1.0 !<hasCapital>(A,B) v !<diedIn>(B,C) v <diedIn>(A,C)
1.0 !<diedIn>(A,B) v <diedIn>(A,B)
1.0 !<edited>(A,B) v !<edited>(B,C) v <directed>(A,C)
1.0 !<edited>(A,B) v <directed>(A,B)
1.0 !<actedIn>(A,B) v !<actedIn>(B,C) v <edited>(A,C)
1.0 !<actedIn>(A,B) v <edited>(A,B)
1.0 !<imports>(A,B) v !<imports>(B,C) v <exports>(A,C)
1.0 !<worksAt>(A,B) v !<worksAt>(B,C) v <graduatedFrom>(A,C)
1.0 !<worksAt>(A,B) v <graduatedFrom>(A,B)
1.0 !<isLocatedIn>(A,B) v <happenedIn>(A,B)
1.0 !<isLocatedIn>(A,B) v !<isLocatedIn>(B,C) v <happenedIn>(A,C)
1.0 !<directed>(B,A) v !<influences>(C,B) v <hasAcademicAdvisor>(A,C)
1.0 !<hasAcademicAdvisor>(A,B) v !<influences>(C,B) v <hasAcademicAdvisor>(A,C)
1.0 !<happenedIn>(A,B) v <hasCapital>(A,B)
1.0 !<happenedIn>(A,B) v !<diedIn>(B,C) v <hasCapital>(A,C)
1.0 !<isMarriedTo>(A,B) v !<hasChild>(B,C) v <hasChild>(A,C)
1.0 !<hasChild>(A,B) v <hasChild>(A,B)
1.0 !<hasCurrency>(A,B) v !<hasCurrency>(B,C) v <hasCurrency>(A,C)
1.0 !<hasGender>(A,B) v !<hasGender>(B,C) v <hasGender>(A,C)
1.0 !<hasGender>(A,B) v <hasGender>(A,B)
1.0 !<isConnectedTo>(A,B) v !<hasMusicalRole>(B,C) v <hasMusicalRole>(A,C)
1.0 !<hasOfficialLanguage>(A,B) v !<hasOfficialLanguage>(B,C) v <hasOfficialLanguage>(A,C)
1.0 !<hasWebsite>(A,B) v !<isMarriedTo>(B,C) v <hasWebsite>(A,C)
1.0 !<happenedIn>(B,A) v !<hasWonPrize>(B,C) v <hasWonPrize>(A,C)
1.0 !<imports>(A,B) v !<imports>(B,C) v <imports>(A,C)
1.0 !<imports>(A,B) v <imports>(A,B)
1.0 !<hasAcademicAdvisor>(B,A) v !<isKnownFor>(C,B) v <influences>(A,C)
1.0 !<hasChild>(A,B) v !<playsFor>(B,C) v <isAffiliatedTo>(A,C)
1.0 !<playsFor>(A,B) v <isAffiliatedTo>(A,B)
1.0 !<dealsWith>(B,A) v !<isPoliticianOf>(B,C) v <isCitizenOf>(A,C)
1.0 !<isConnectedTo>(B,A) v !<isCitizenOf>(B,C) v <isConnectedTo>(A,C)
1.0 !<isInterestedIn>(A,B) v !<isInterestedIn>(B,C) v <isInterestedIn>(A,C)
1.0 !<isInterestedIn>(A,B) v <isInterestedIn>(A,B)
1.0 !<isKnownFor>(A,B) v <isKnownFor>(A,B)
1.0 !<isKnownFor>(A,B) v !<isKnownFor>(B,C) v <isKnownFor>(A,C)
1.0 !<livesIn>(A,B) v !<livesIn>(B,C) v <isLeaderOf>(A,C)
1.0 !<livesIn>(A,B) v <isLeaderOf>(A,B)
1.0 !<dealsWith>(B,A) v !<isCitizenOf>(B,C) v <isLocatedIn>(A,C)
1.0 !<dealsWith>(B,A) v <isLocatedIn>(A,B)
1.0 !<livesIn>(A,B) v !<isCitizenOf>(B,C) v <isPoliticianOf>(A,C)
1.0 !<happenedIn>(A,B) v !<isCitizenOf>(B,C) v <livesIn>(A,C)
1.0 !<edited>(A,B) v !<owns>(B,C) v <owns>(A,C)
1.0 !<edited>(A,B) v <owns>(A,B)
1.0 !<happenedIn>(B,A) v !<participatedIn>(B,C) v <participatedIn>(A,C)
1.0 !<actedIn>(A,B) v !<isAffiliatedTo>(B,C) v <playsFor>(A,C)
1.0 !<hasGender>(A,B) v !<wasBornIn>(B,C) v <wasBornIn>(A,C)
1.0 !<edited>(A,B) v !<graduatedFrom>(B,C) v <worksAt>(A,C)
1.0 !<edited>(A,B) v <worksAt>(A,B)
1.0 !<edited>(A,B) v !<edited>(B,C) v <wroteMusicFor>(A,C)